Ricty Diminished
https://rictyfonts.github.io/diminished
Ref.icon dragoon8192/RictyDiminished: Ricty Diminished --- fonts for programming
プログラミング用フォント
CSS:フォントの追加
これだけだと権限がない
code:style.css
@font-face {
font-family: "Ricty Diminished Discord";
src: local("Ricty Diminished Discord"), url("https://github.com/dragoon8192/RictyDiminished/blob/master/RictyDiminishedDiscord-Regular.ttf?raw=true") format("truetype"), url("https://github.com/dragoon8192/RictyDiminished/blob/master/RictyDiminishedDiscord-Regular.woff?raw=true") format("woff");
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: "Ricty Diminished Discord";
src: local("Ricty Diminished Discord"), url("https://github.com/dragoon8192/RictyDiminished/blob/master/RictyDiminishedDiscord-Bold.ttf?raw=true") format("truetype"), url("https://github.com/dragoon8192/RictyDiminished/blob/master/RictyDiminishedDiscord-Bold.woff?raw=true") format("woff");
font-weight: bold;
font-style: normal;
}
@font-face {
font-family: "Ricty Diminished Discord";
src: local("Ricty Diminished Discord"), url("https://github.com/dragoon8192/RictyDiminished/blob/master/RictyDiminishedDiscord-Oblique.ttf?raw=true") format("truetype"), url("https://github.com/dragoon8192/RictyDiminished/blob/master/RictyDiminishedDiscord-Oblique.woff?raw=true") format("woff");
font-weight: normal;
font-style: oblique;
}
@font-face {
font-family: "Ricty Diminished Discord";
src: local("Ricty Diminished Discord"), url("https://github.com/dragoon8192/RictyDiminished/blob/master/RictyDiminishedDiscord-BoldOblique.ttf?raw=true") format("truetype"), url("https://github.com/dragoon8192/RictyDiminished/blob/master/RictyDiminishedDiscord-BoldOblique.woff?raw=true") format("woff");
font-weight: bold;
font-style: oblique;
}